IEEE IV 2022 - Rule-Compliant Trajectory Repairing using Satisfiability Modulo Theories TUM Cyber-Physical Systems 2:38 2 years ago 233 Далее Скачать
IEEE IV 2021 - Temporal Logic Formalization of Marine Traffic Rules TUM Cyber-Physical Systems 12:52 2 years ago 161 Далее Скачать
[VMCAI'23] Satisfiability Modulo Custom Theories in Z3 (Tool Paper) ACM SIGPLAN 32:06 1 year ago 133 Далее Скачать
IEEE ITSC 2021 - Sampling-Based Trajectory Repairing for Autonomous Vehicles TUM Cyber-Physical Systems 12:10 2 years ago 384 Далее Скачать
Clark Barrett: "Proof Certificates in Satisfiability Modulo Theories" Topos Institute 58:45 Streamed 1 year ago 607 Далее Скачать
IEEE IV 2020:Co-simulation Platform for Developing Energy-Efficient Connected and Automated Vehicles Shunsuke Aoki 11:00 4 years ago 97 Далее Скачать
Electrical Power Monitoring System (EPMS) – powered by CET’s PecStar® iEMS Software CET Electric Technology Inc. 1:44 5 hours ago No Далее Скачать
Efficient Trajectory Repairing for Autonomous Vehicles - Evaluation Yuanfei Lin 0:45 3 years ago 112 Далее Скачать
Learning and reasoning with probabilistic satisfiability modulo theories - SML journal club - Talk 6 Structured Machine Learning Group 42:12 2 years ago 68 Далее Скачать
A Visual Analytics Approach to Debugging Cooperative, Autonomous Multi-Robot System IEEE Visualization Conference 0:32 4 years ago 344 Далее Скачать
UrbanMotion: Visual Analysis of Metropolitan-Scale Sparse Trajectories IEEE Visualization Conference 0:30 4 years ago 148 Далее Скачать
IEEE IV 2020 - Probabilistic Motion Prediction for Automated Vehicles in Highway Scenarios Florian Wirthmüller 12:13 3 years ago 124 Далее Скачать
IEEE OFCCT 2024 • Photovoltaics for Indoor Energy Harvesting IEEE Future Directions 56:02 1 day ago 3 Далее Скачать
